
\usepackage[english]{babel}
\usepackage[T1]{fontenc}


\usepackage{floatflt}

\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsthm}
%\usepackage{amslatex} 
\usepackage{amsfonts}
\usepackage{subfigure}
\usepackage{graphicx}
\usepackage{xspace}
\usepackage{times}

\usepackage{ifthen}
\usepackage{url}
\usepackage{hyperref}
\usepackage{mathpartir}
\usepackage{textcomp}
\usepackage{stmaryrd}

% This refers to japerez.sty, the file with the commands that I wrote.
\usepackage{japerez}
% Davides's macro
\usepackage{davidemacro} 

%\usepackage{evolvablemacro}


\usepackage{myproof}
\usepackage{xytree}
